(check (= 0xFF 0xFF))
